Type 2 Subdirectly Irreducible Algebras in Finitely Decidable Varieties
نویسندگان
چکیده
منابع مشابه
Subdirectly irreducible separable dynamic algebras
A characterization of the subdirectly irreducible separable dynamic algebras is presented. The notions developed for this study were also suitable to describe the previously found class of the simple separable dynamic algebras.
متن کاملSubdirectly Irreducible Quasi-modal Algebras
In this paper we give suitable notions of congruences and subdirectly irreducible algebras for the class of quasi-modal algebras introduced in [1]. We also prove some characterizations of subdirectly irreducible algebras following the similar results given by G. Sambin [5] for modal algebras.
متن کاملFinitely Decidable Congruence Modular Varieties
A class TZ~ of algebras of the same type is said to be finitely decidable iff the first order theory of the class of finite members of 'V is decidable. Let y be a congruence modular variety. In this paper we prove that if "V is finitely decidable, then the following hold. (1) Each finitely generated subvariety of 2^ has a finite bound on the cardinality of its subdirectly irreducible members. (...
متن کاملSubdirectly Irreducible Modal Algebras and Initial Frames
This paper is centred around a nice conjecture, known to Wolfgang Rautenberg and myself since 1978: a modal algebra A is subdirectly irreducible if and only if its dual frame A∗ is initial, or generated (see definitions in the text). I here show that in full generality the conjecture is false, but that it becomes true under some mild additional assumptions. Unfortunately, some counterexamples s...
متن کاملDuals of subdirectly irreducible modal algebras
We give a characterization of the simple, and of the subdirectly irreducible boolean algebras with operators (including modal algebras), in terms of the dual descriptive frame. These characterizations involve a special binary quasi-reachability relation on the dual structure; we call a point u a quasi-root of the dual structure if every ultrafilter is quasireachable from u. We prove that a bool...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Algebra
سال: 1995
ISSN: 0021-8693
DOI: 10.1006/jabr.1995.1152